Fix short int defines to match other fixes to tools tree.
Signed-off-by: andrew.warfield@cl.cam.ac.uk
#ifndef __BLOCKSTORE_H__
#define __BLOCKSTORE_H__
-#ifndef __SHORT_INT_TYPES__
-#define __SHORT_INT_TYPES__
-
-#include <stdint.h>
-
-typedef uint8_t u8;
-typedef uint16_t u16;
-typedef uint32_t u32;
-typedef uint64_t u64;
-typedef int8_t s8;
-typedef int16_t s16;
-typedef int32_t s32;
-typedef int64_t s64;
-
-#endif /* __SHORT_INT_TYPES__ */
+#include <xc.h>
#define BLOCK_SIZE 4096
#define BLOCK_SHIFT 12